professeurs de 1re catégorie à l'Ecole nationale supérieure des mines de Paris